Network Automation - PDFSEARCH.IO - Document Search Engine

Network Automation
Results: 1306

#	Item
721	Interfacing the ControlLogix PLC Over EtherNet/IP Kay-Uwe Kasemir, LANL Nov 2001 Allen-Bradley ControlLogix Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2002-01-29 15:43:25 Industrial Ethernet Network protocols EtherNet/IP Open DeviceNet Vendors Association ControlNet DeviceNet EPICS Communications protocol Technology Industrial automation Business
722	The Kapillarrohr System "We give your building thermal life. A network of katubes through which water flows is embedded into ceilings, floors and walls. This makes the building components become thermally efficient heat Add to Reading List Source URL: www.bekausa.com Language: English - Date: 2012-09-07 08:27:06 Architecture Building engineering Heat transfer Low-energy building Automation Radiant cooling HVAC Air conditioner Heat exchanger Heating ventilating and air conditioning Mechanical engineering Technology
723	Fast Minimum-Register Retiming via Binary Maximum-Flow Alan Mishchenko Aaron Hurst Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-20 10:30:53 Formal methods Electronics Retiming Electronic design automation Maximum flow problem Flow network Digital electronics Ford–Fulkerson algorithm Logic gate Network flow Electronic engineering Mathematics
724	An Operating System for the Home Colin Dixon (IBM Research) Ratul Mahajan Sharad Agarwal A.J. Brush Bongshin Lee Stefan Saroiu Paramvir Bahl Microsoft Research Abstract—Network devices for the home such as remotely con Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-20 01:07:17 Home automation Network protocols Consortia Digital Living Network Alliance Digital television ZigBee Universal Plug and Play X Window System Wi-Fi Computing Technology Software
725	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
726	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko Department of EECS University of California, Berkeley [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-04-30 02:47:03 Boolean algebra Computing Formal methods Electronic design automation Boolean satisfiability problem Boolean network Model checking Canonical form Lookup table Theoretical computer science Logic Mathematics
727	Microsoft Word - EndtoEndRetiming6.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:48:41 Electronic design automation Clock signal Retiming Operations research Electrical circuits Clock skew Physical design Clock distribution network Mathematical optimization Electronic engineering Formal methods Electronics
728	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-20 02:33:25 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods
729	SAT-Based Logic Optimization and Resynthesis Alan Mishchenko Robert Brayton Jie-Hong Roland Jiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-04-23 22:32:02 Electronic design automation Boolean network Science Mathematics Design Diagrams Formal methods And-inverter graph
730	PRODUCT NOTICE #[removed] Add to Reading List Source URL: ftp1.digi.com Language: English - Date: 2011-09-27 14:35:50 IEEE 802 Internet of Things XBee Wireless Sensors Digi International Home automation Ember IEEE 802.15.4 Wireless sensor network Technology Computing

UPDATE